Sequential Consistency - Georgia Tech - Advanced Operating Systems